Propositional Reasoning about Saturated Conditional Probabilistic Independence
نویسنده
چکیده
Conditional independence provides an essential framework to deal with knowledge and uncertainty in Artificial Intelligence, and is fundamental in probability and multivariate statistics. Its associated implication problem is paramount for building Bayesian networks. Unfortunately, the problem does not enjoy a finite ground axiomatization and is already coNP-complete to decide for restricted subclasses. Saturated conditional independencies form an important subclass of conditional independencies whose implication problem is decidable in almost linear time. Geiger and Pearl have established a finite ground axiomatization for this class. We establish a new completeness proof for this axiomatization, utilizing a new sound inference rule. The proof introduces special probability models where two values have probability one half. Special probability models allow us to establish a semantic proof for the equivalence between the implication of saturated conditional independencies and formulae in a Boolean propositional fragment. The equivalence extends the duality between the propositional fragment and multivalued dependencies in relational databases to a trinity involving saturated conditional independencies.
منابع مشابه
Sound approximate reasoning about saturated conditional probabilistic independence under controlled uncertainty
Knowledge about complex events is usually incomplete in practice. Zeros can be utilized to capture such events within probability models. In this article, Geiger and Pearl’s conditional probabilistic independence statements are investigated in the presence of zeros. Random variables can be specified to be zero-free, i.e., to disallow zeros in their domains. Zero-free random variables provide an...
متن کاملReasoning about Saturated Conditional Independence Under Uncertainty: Axioms, Algorithms, and Levesque's Situations to the Rescue
The implication problem of probabilistic conditional independencies is investigated in the presence of missing data. Here, graph separation axioms fail to hold for saturated conditional independencies, unlike the known idealized case with no missing data. Several axiomatic, algorithmic, and logical characterizations of the implication problem for saturated conditional independencies are establi...
متن کاملProbabilistic Logic with Conditional Independence Formulae1
We investigate probabilistic propositional logic as a way of expressing and reasoning about uncertainty. In contrast to Bayesian networks, a logical approach can easily cope with incomplete information like probabilities that are missing or only known to lie in some interval. However, probabilistic propositional logic as described e.g. by Halpern [9], has no way of expressing conditional indepe...
متن کاملComprehension of factual, nonfactual, and counterfactual conditionals by Iranian EFL learners
A considerable amount of studies have been established on conditional reasoning supporting mental model theory of propositional reasoning. Mental model theory proposed by Johnson- larid and Byrne is an explanation of someone's thought process about how something occurs in the real world. Conditional reasoning as a kind of reasoning is the way to speak about possibilities or probabilities. The a...
متن کاملA Logical Notion of Conditional Independence Properties and Applications
We propose a notion of conditional independence with respect to propositional logic and study some of its key properties We present several equivalent formulations of the proposed notion each oriented towards a speci c application of logical reasoning such as abduction and diagnosis We suggest a frame work for utilizing logical independence computationally by structuring a propositional logic d...
متن کامل